Riemann积分与Lebesgue积分的本质区别

指出Riemann积分与Lebesgue积分的本质区别在于：区间[a,b]上所有Riemann可积函数所生成的空间是不完备的，而所有Lebesgue可积函数所生成的空间是完备的。     

一种求Ramsey数的命题演算法

首先在矩阵中用谓词描述“含Kn”和“含－↑Km”，然后通过命题演算法逐行求出不含Kn也不含－↑Km的矩阵（aij)j=i 1,…，l^i=1,2,…l-1，若对于l≤r－1有这样的矩阵，而对于l=r却没有，则r为Ramsey数。     

对Dijkstra量词研究的补充

在Dijkstra的研究工作的基础上，对量词作进一步的探讨，主要以存在量词的几个基本性质作为假定，并由此推出有关存在量词和全称量词的其他一系列的性质。可视为Dijkstra的补充，从而使人们对量词的性质有更深的认识。     

奇偶函数的积分求法

奇偶函数的积分计算是积分学中的一种特殊运算,在计算过程中如能巧用奇偶函数的性质,往往可以起到化难为易、简化计算的作用。本文从单变量函数和多变量函数微分学两个方面分别探讨了奇偶函数的积分计算,并结合具体实例进一步论证了自己的观点。     

APPROXIMATE SUBDIFFERENTIALS AND NONSMOOTH ANALYSIS FINITE DIMENSIONS

Ioffe's approximate subdifferentials are reviewed and some of his resultsare generalized.An extension of the calculus of the approximate subdifferentials forthe sums to any finite number of functions is provided along with a generalizationof the Dubovitzkii-Milyutin theorem.The presentation also indicates some of thelimitations of nonsmooth analysis and optimization.Restriction to the class offunction which is suitable for most of the purposes in nonsmooth optimization issuggested.     

微积分学的初等化

不用极限概念，而用一个不等式来定义函数的导数．从这个新的定义出发，推出了函数的性质和它的导数的性质的关系，证明了泰勒公式和微积分基本定理．     

Combinator演算族的π演算语义

以SKI演算作为Combinator演算族的代表, 通过形式化的手段给出了SKI演算的π演算语义; 通过一个实例验证了所论方法的正确性. 所给出的转换方法证明了π演算的表达能力： π演算为图灵完备的. 由于高阶函数式语言与Combinator演算族之间存在着自然的转换, 所给的转换思想不仅为在π演算的理论框架下 研究Combinator演算族提供了基础, 也为探讨高阶函数式语言的表示和实现问题提供了新途径.     

＊系统中的模糊演绎定理

研究了模糊命题演算的形式演绎系统L*以及在语义上相关的修正的Kleene逻辑系统,W,W,W     

命题演算的两个直觉主义系统

介绍了一阶命题演算的两个直觉主义系统 :希尔伯特型 (HSI)及自然演绎型 (NDSI) ,并证明了这两个系统的等价性 ,揭示了直觉主义逻辑的内涵及与其他非经典逻辑的关系     

有理Haar小波求解非线性分数阶Fredholm积分微分方程

利用有理Haar小波的分数阶积分算子矩阵,提出一种求解非线性分数阶Fredholm积分微分方程的数值算法,并通过数值实验验证了所提算法的精确性和有效性.